Theoretical Computer Science : 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
By: Calude, Cristian S.
Contributor(s): Sassone, Vladimiro.
Material type:
BookSeries: 323. IFIP adances in information and communication technology.Publisher: Berlin: Springer, 2010Description: xii, 385 p.; ill.: 24 cm.ISBN: 9783642152399 .Subject(s): Computational complexity | Polarized Resolution Modulo | Computer science | Computer networks | Computation by Abstract Devices | Logics and Meanings of Programs | Informatique | Programming Techniques | Software Engineering | Computer Communication Networks | Algorithm Analysis and Problem Complexity | Programming and Operating Systems | Software engineering | Computer programming | Algorithms | Computer logicDDC classification: 004
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 004 CAL (Browse shelf) | Available | 026333 |
There are no comments for this item.